La philosophie dès le primaire ! Quelques difficultés à surmonter

peer reviewe

L'observation en psychosomatique

peer reviewe

Génération de Tests pour les Systèmes Temps-Réel à partir de Modèles SysML: Contexte, Motivations et Objectifs

National audienceThis paper presents an approach of Model-Based Testing for real-time and embedded systems using SysML. This work is based on an existing approach that has been proposed during the VETESS project. This approach aims to generate tests for embedded systems. In this paper, we identify areas of improvement, which permit to evolve the initial approach by taking into account the real-time aspects. These areas, which are presented in the form of research questions, aim to propose an automated Model-Based-Testing toolchain for real-time and embedded systems. Finally, the proposed approach is briefly included in the related works

Integrating AADL and FMI to Extend Virtual Integration Capability

Virtual Integration Capability is paramount to perform early validation of Cyber Physical Systems. The objective is to guide the systems engineer so as to ensure that the system under design meets multiple criteria through high-fidelity simulation. In this paper, we present an integration scheme that leverages the FMI (Functional Mock-Up interface) standard and the AADL architecture description language. Their combination allows for validation of systems combining embedded platform captured by the AADL, and FMI components that represent physical elements, either mechanical parts, or the environment. We present one approach, and demonstrator case studies

Analyse des critères d'évaluation de systèmes multi-agents adaptatifs

http://www.emse.fr/~picard/publications/kaddoum09jfsma.pdfInternational audienceLa complexité croissante des applications actuelles favorise le développement de systèmes multi-agents auto-organisateurs possédant des propriétés self-? . Ces systèmes autonomes présentent des capacités intéressantes permettant la gestion de la dynamique endogène et exogène des applications étudiées. De nouveaux critères doivent être étudiés afin de caractériser et évaluer l'apport de ces propriétés self-? et leur influence sur les performances du système. Dans cet article, différentes catégories regroupant les principaux critères d'évaluation sont décrites afin de guider l'évaluation de ce type de systèmes depuis les phases de conception jusqu'aux phases d'exécution : évaluation du système en cours de fonctionnement, caractéristiques intrinsèques et méthodologie de conception